[next] [prev] [prev-tail] [tail] [up]

Integrals 301 to 400

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 301

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 162 136 117 249 1407 0 198 5395

N.S.

1 1.00 0.84 0.72 1.54 8.69 0.00 1.22 33.30

time (sec)

N/A 0.139 0.136 2.785 0.283 0.356 0.000 0.271 6.598

Problem 302

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 107 86 113 228 296 507 178 522

N.S.

1 1.00 0.80 1.06 2.13 2.77 4.74 1.66 4.88

time (sec)

N/A 0.077 0.040 2.705 0.208 0.254 2.578 0.278 5.095

Problem 303

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

147 147 135 117 249 1387 0 196 5236

N.S.

1 1.00 0.92 0.80 1.69 9.44 0.00 1.33 35.62

time (sec)

N/A 0.097 0.160 2.737 0.289 0.415 0.000 0.271 6.575

Problem 304

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 92 77 106 215 253 410 163 378

N.S.

1 1.00 0.84 1.15 2.34 2.75 4.46 1.77 4.11

time (sec)

N/A 0.064 0.040 2.711 0.203 0.243 1.958 0.323 5.403

Problem 305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 167 136 133 294 1681 0 232 6183

N.S.

1 1.00 0.81 0.80 1.76 10.07 0.00 1.39 37.02

time (sec)

N/A 0.141 0.199 2.659 0.283 0.703 0.000 0.314 7.516

Problem 306

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

141 141 133 136 295 540 0 321 193

N.S.

1 1.00 0.94 0.96 2.09 3.83 0.00 2.28 1.37

time (sec)

N/A 0.122 0.149 2.766 0.201 2.251 0.000 0.322 6.804

Problem 307

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

218 218 158 141 378 2113 0 321 3747

N.S.

1 1.00 0.72 0.65 1.73 9.69 0.00 1.47 17.19

time (sec)

N/A 0.226 0.176 2.901 0.292 1.313 0.000 0.282 6.706

Problem 308

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 156 157 157 381 667 0 333 313

N.S.

1 1.00 1.01 1.01 2.44 4.28 0.00 2.13 2.01

time (sec)

N/A 0.158 0.128 2.755 0.219 5.159 0.000 0.287 6.386

Problem 309

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

271 271 178 159 460 2457 0 275 3978

N.S.

1 1.00 0.66 0.59 1.70 9.07 0.00 1.01 14.68

time (sec)

N/A 0.323 0.253 2.871 0.295 3.377 0.000 0.289 6.715

Problem 310

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

207 207 166 177 443 2859 0 301 7515

N.S.

1 1.00 0.80 0.86 2.14 13.81 0.00 1.45 36.30

time (sec)

N/A 0.189 0.227 2.855 0.309 0.719 0.000 0.277 7.461

Problem 311

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 142 121 163 415 598 784 267 926

N.S.

1 1.00 0.85 1.15 2.92 4.21 5.52 1.88 6.52

time (sec)

N/A 0.125 0.066 2.778 0.216 0.264 28.995 0.283 5.313

Problem 312

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

200 200 171 182 473 2891 0 317 7929

N.S.

1 1.00 0.86 0.91 2.36 14.46 0.00 1.58 39.64

time (sec)

N/A 0.183 0.224 2.911 0.307 1.178 0.000 0.276 7.647

Problem 313

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 126 107 144 394 507 643 229 707

N.S.

1 1.00 0.85 1.14 3.13 4.02 5.10 1.82 5.61

time (sec)

N/A 0.081 0.063 2.771 0.230 0.259 112.508 0.390 5.309

Problem 314

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

230 230 197 198 529 3239 0 332 8649

N.S.

1 1.00 0.86 0.86 2.30 14.08 0.00 1.44 37.60

time (sec)

N/A 0.228 0.307 2.707 0.323 2.313 0.000 0.425 7.740

Problem 315

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

192 192 187 202 527 1058 0 470 472

N.S.

1 1.00 0.97 1.05 2.74 5.51 0.00 2.45 2.46

time (sec)

N/A 0.176 0.170 2.858 0.215 8.170 0.000 0.411 6.832

Problem 316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

297 297 210 202 639 3753 0 430 5060

N.S.

1 1.00 0.71 0.68 2.15 12.64 0.00 1.45 17.04

time (sec)

N/A 0.375 0.282 2.926 0.305 4.739 0.000 0.407 7.525

Problem 317

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

215 215 208 223 651 1227 0 638 549

N.S.

1 1.00 0.97 1.04 3.03 5.71 0.00 2.97 2.55

time (sec)

N/A 0.224 0.191 2.841 0.230 16.974 0.000 0.370 7.224

Problem 318

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

377 377 230 222 738 4225 0 367 1161

N.S.

1 1.00 0.61 0.59 1.96 11.21 0.00 0.97 3.08

time (sec)

N/A 0.484 0.303 2.882 0.310 10.081 0.000 0.349 7.629

Problem 319

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 96 89 473 129 379 2069 593 289

N.S.

1 1.00 0.93 4.93 1.34 3.95 21.55 6.18 3.01

time (sec)

N/A 0.048 0.126 2.746 0.211 0.244 0.650 0.356 5.131

Problem 320

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 71 66 82 91 215 1044 332 177

N.S.

1 1.00 0.93 1.15 1.28 3.03 14.70 4.68 2.49

time (sec)

N/A 0.032 0.068 2.719 0.203 0.245 0.455 0.342 5.223

Problem 321

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 42 53 53 92 410 143 95

N.S.

1 1.00 0.93 1.18 1.18 2.04 9.11 3.18 2.11

time (sec)

N/A 0.018 0.041 0.058 0.217 0.245 0.316 0.328 5.037

Problem 322

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

66 66 55 0 0 0 187 0 0

N.S.

1 1.00 0.83 0.00 0.00 0.00 2.83 0.00 0.00

time (sec)

N/A 0.025 0.086 0.000 0.000 0.000 1.802 0.000 0.000

Problem 323

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

93 93 80 0 0 0 906 0 0

N.S.

1 1.00 0.86 0.00 0.00 0.00 9.74 0.00 0.00

time (sec)

N/A 0.030 0.080 0.000 0.000 0.000 15.450 0.000 0.000

Problem 324

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

93 93 80 0 0 0 3080 0 0

N.S.

1 1.00 0.86 0.00 0.00 0.00 33.12 0.00 0.00

time (sec)

N/A 0.033 0.093 0.000 0.000 0.000 57.669 0.000 0.000

Problem 325

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 151 141 975 215 773 4345 1192 443

N.S.

1 1.00 0.93 6.46 1.42 5.12 28.77 7.89 2.93

time (sec)

N/A 0.063 0.167 2.819 0.205 0.259 0.901 0.305 5.332

Problem 326

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 109 101 568 153 442 2363 703 302

N.S.

1 1.00 0.93 5.21 1.40 4.06 21.68 6.45 2.77

time (sec)

N/A 0.044 0.096 2.731 0.195 0.262 0.668 0.338 5.148

Problem 327

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 71 66 82 91 215 1044 332 177

N.S.

1 1.00 0.93 1.15 1.28 3.03 14.70 4.68 2.49

time (sec)

N/A 0.028 0.071 2.628 0.204 0.270 0.514 0.344 4.977

Problem 328

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

94 94 118 0 0 0 292 0 0

N.S.

1 1.00 1.26 0.00 0.00 0.00 3.11 0.00 0.00

time (sec)

N/A 0.047 0.120 0.000 0.000 0.000 2.994 0.000 0.000

Problem 329

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

120 120 98 0 0 0 0 0 0

N.S.

1 1.00 0.82 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.077 0.174 0.000 0.000 0.000 0.000 0.000 0.000

Problem 330

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

171 166 124 0 0 0 0 0 0

N.S.

1 0.97 0.73 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.116 0.392 0.000 0.000 0.000 0.000 0.000 0.000

Problem 331

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

133 133 114 0 0 0 401 0 0

N.S.

1 1.00 0.86 0.00 0.00 0.00 3.02 0.00 0.00

time (sec)

N/A 0.067 1.131 0.000 0.000 0.000 4.679 0.000 0.000

Problem 332

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

94 94 85 0 0 0 292 0 0

N.S.

1 1.00 0.90 0.00 0.00 0.00 3.11 0.00 0.00

time (sec)

N/A 0.044 0.344 0.000 0.000 0.000 3.024 0.000 0.000

Problem 333

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

66 66 55 0 0 0 187 0 0

N.S.

1 1.00 0.83 0.00 0.00 0.00 2.83 0.00 0.00

time (sec)

N/A 0.024 0.064 0.000 0.000 0.000 1.945 0.000 0.000

Problem 334

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

102 102 85 0 0 0 350 0 0

N.S.

1 1.00 0.83 0.00 0.00 0.00 3.43 0.00 0.00

time (sec)

N/A 0.034 0.081 0.000 0.000 0.000 3.792 0.000 0.000

Problem 335

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

156 156 127 0 0 0 0 0 0

N.S.

1 1.00 0.81 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.145 0.162 0.000 0.000 0.000 0.000 0.000 0.000

Problem 336

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

234 234 170 0 0 0 0 0 0

N.S.

1 1.00 0.73 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.272 0.497 0.000 0.000 0.000 0.000 0.000 0.000

Problem 337

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

201 201 2524 0 0 0 0 0 0

N.S.

1 1.00 12.56 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.160 3.600 0.000 0.000 0.000 0.000 0.000 0.000

Problem 338

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

120 120 895 0 0 0 0 0 0

N.S.

1 1.00 7.46 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.088 1.618 0.000 0.000 0.000 0.000 0.000 0.000

Problem 339

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

93 93 80 0 0 0 906 0 0

N.S.

1 1.00 0.86 0.00 0.00 0.00 9.74 0.00 0.00

time (sec)

N/A 0.029 0.124 0.000 0.000 0.000 16.209 0.000 0.000

Problem 340

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

156 156 127 0 0 0 0 0 0

N.S.

1 1.00 0.81 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.134 0.058 0.000 0.000 0.000 0.000 0.000 0.000

Problem 341

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

230 230 173 0 0 0 0 0 0

N.S.

1 1.00 0.75 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.273 0.385 0.000 0.000 0.000 0.000 0.000 0.000

Problem 342

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

325 325 215 0 0 0 0 0 0

N.S.

1 1.00 0.66 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.469 0.747 0.000 0.000 0.000 0.000 0.000 0.000

Problem 343

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 41 28 27 32 46 29 31

N.S.

1 1.00 1.05 0.72 0.69 0.82 1.18 0.74 0.79

time (sec)

N/A 0.011 0.024 0.151 0.205 0.254 0.617 0.294 0.054

Problem 344

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 35 28 27 32 46 29 31

N.S.

1 1.00 0.90 0.72 0.69 0.82 1.18 0.74 0.79

time (sec)

N/A 0.016 0.022 0.156 0.202 0.247 0.411 0.286 5.199

Problem 345

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 35 28 27 32 46 29 31

N.S.

1 1.00 0.90 0.72 0.69 0.82 1.18 0.74 0.79

time (sec)

N/A 0.012 0.020 0.146 0.198 0.246 0.250 0.298 0.044

Problem 346

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 35 28 27 30 37 29 31

N.S.

1 1.00 0.90 0.72 0.69 0.77 0.95 0.74 0.79

time (sec)

N/A 0.012 0.019 0.133 0.200 0.246 0.436 0.287 4.886

Problem 347

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 35 28 27 29 44 29 31

N.S.

1 1.00 0.95 0.76 0.73 0.78 1.19 0.78 0.84

time (sec)

N/A 0.011 0.021 0.146 0.205 0.256 0.150 0.291 4.928

Problem 348

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 35 30 27 29 44 29 31

N.S.

1 1.00 0.95 0.81 0.73 0.78 1.19 0.78 0.84

time (sec)

N/A 0.015 0.025 0.060 0.193 0.259 0.234 0.283 4.857

Problem 349

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 35 30 27 29 42 29 31

N.S.

1 1.00 0.95 0.81 0.73 0.78 1.14 0.78 0.84

time (sec)

N/A 0.015 0.025 0.061 0.193 0.243 0.246 0.288 0.041

Problem 350

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 35 28 29 29 42 31 31

N.S.

1 1.00 0.95 0.76 0.78 0.78 1.14 0.84 0.84

time (sec)

N/A 0.013 0.032 0.065 0.191 0.247 0.297 0.291 0.039

Problem 351

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 60 52 51 56 80 53 51

N.S.

1 1.00 0.95 0.83 0.81 0.89 1.27 0.84 0.81

time (sec)

N/A 0.030 0.037 2.684 0.196 0.253 0.926 0.274 5.025

Problem 352

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 60 52 51 56 80 53 51

N.S.

1 1.00 0.95 0.83 0.81 0.89 1.27 0.84 0.81

time (sec)

N/A 0.023 0.036 2.721 0.207 0.268 0.640 0.282 0.048

Problem 353

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 60 52 51 56 80 53 51

N.S.

1 1.00 0.95 0.83 0.81 0.89 1.27 0.84 0.81

time (sec)

N/A 0.022 0.034 2.756 0.194 0.264 0.412 0.299 0.054

Problem 354

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 59 52 51 54 66 53 51

N.S.

1 1.00 0.94 0.83 0.81 0.86 1.05 0.84 0.81

time (sec)

N/A 0.027 0.037 2.652 0.199 0.258 0.567 0.293 0.052

Problem 355

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 59 52 51 53 78 53 51

N.S.

1 1.00 0.97 0.85 0.84 0.87 1.28 0.87 0.84

time (sec)

N/A 0.021 0.033 2.614 0.194 0.252 0.252 0.289 0.048

Problem 356

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 59 54 51 53 78 53 51

N.S.

1 1.00 0.97 0.89 0.84 0.87 1.28 0.87 0.84

time (sec)

N/A 0.021 0.046 2.649 0.197 0.251 0.330 0.288 0.051

Problem 357

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 59 54 51 53 76 53 51

N.S.

1 1.00 0.97 0.89 0.84 0.87 1.25 0.87 0.84

time (sec)

N/A 0.031 0.043 2.663 0.203 0.253 0.380 0.270 0.054

Problem 358

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 59 51 53 53 76 55 55

N.S.

1 1.00 0.97 0.84 0.87 0.87 1.25 0.90 0.90

time (sec)

N/A 0.021 0.043 2.648 0.200 0.248 0.445 0.275 4.793

Problem 359

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 85 81 76 73 78 114 77 69

N.S.

1 1.00 0.95 0.89 0.86 0.92 1.34 0.91 0.81

time (sec)

N/A 0.030 0.047 2.729 0.205 0.249 1.321 0.279 0.046

Problem 360

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 85 81 76 73 78 114 77 69

N.S.

1 1.00 0.95 0.89 0.86 0.92 1.34 0.91 0.81

time (sec)

N/A 0.035 0.043 2.730 0.204 0.271 0.932 0.280 0.033

Problem 361

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 85 81 76 73 78 114 77 69

N.S.

1 1.00 0.95 0.89 0.86 0.92 1.34 0.91 0.81

time (sec)

N/A 0.029 0.041 2.654 0.199 0.248 0.637 0.273 0.031

Problem 362

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 85 81 76 73 76 95 77 69

N.S.

1 1.00 0.95 0.89 0.86 0.89 1.12 0.91 0.81

time (sec)

N/A 0.035 0.041 2.651 0.190 0.250 0.724 0.293 0.032

Problem 363

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 83 80 76 73 75 112 77 69

N.S.

1 1.00 0.96 0.92 0.88 0.90 1.35 0.93 0.83

time (sec)

N/A 0.030 0.041 2.644 0.201 0.250 0.419 0.299 0.032

Problem 364

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 83 83 78 73 75 110 77 69

N.S.

1 1.00 1.00 0.94 0.88 0.90 1.33 0.93 0.83

time (sec)

N/A 0.033 0.051 2.657 0.201 0.253 0.491 0.294 0.036

Problem 365

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 83 78 78 73 75 110 77 69

N.S.

1 1.00 0.94 0.94 0.88 0.90 1.33 0.93 0.83

time (sec)

N/A 0.031 0.054 2.637 0.197 0.251 0.544 0.286 0.034

Problem 366

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 81 78 75 75 75 107 79 72

N.S.

1 1.00 0.96 0.93 0.93 0.93 1.32 0.98 0.89

time (sec)

N/A 0.032 0.053 2.648 0.204 0.254 0.663 0.285 0.058

Problem 367

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

276 276 173 162 259 647 326 298 788

N.S.

1 1.00 0.63 0.59 0.94 2.34 1.18 1.08 2.86

time (sec)

N/A 0.203 0.250 2.646 0.289 0.267 35.424 0.296 0.224

Problem 368

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

257 257 152 140 214 749 348 264 92

N.S.

1 1.00 0.59 0.54 0.83 2.91 1.35 1.03 0.36

time (sec)

N/A 0.163 0.180 2.781 0.295 0.273 16.088 0.292 5.014

Problem 369

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

255 255 150 138 235 597 275 263 789

N.S.

1 1.00 0.59 0.54 0.92 2.34 1.08 1.03 3.09

time (sec)

N/A 0.151 0.168 2.770 0.285 0.274 4.739 0.278 5.160

Problem 370

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

237 237 135 124 194 691 303 251 71

N.S.

1 1.00 0.57 0.52 0.82 2.92 1.28 1.06 0.30

time (sec)

N/A 0.141 0.147 2.676 0.293 0.269 1.828 0.290 0.166

Problem 371

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

235 235 134 127 218 570 238 251 739

N.S.

1 1.00 0.57 0.54 0.93 2.43 1.01 1.07 3.14

time (sec)

N/A 0.134 0.151 2.674 0.308 0.260 1.709 0.280 5.287

Problem 372

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

235 235 135 127 194 705 223 251 71

N.S.

1 1.00 0.57 0.54 0.83 3.00 0.95 1.07 0.30

time (sec)

N/A 0.133 0.179 2.678 0.288 0.265 12.764 0.283 0.167

Problem 373

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

237 237 136 124 218 590 257 251 811

N.S.

1 1.00 0.57 0.52 0.92 2.49 1.08 1.06 3.42

time (sec)

N/A 0.131 0.181 2.676 0.303 0.261 8.425 0.286 5.526

Problem 374

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

255 255 152 140 213 738 258 268 90

N.S.

1 1.00 0.60 0.55 0.84 2.89 1.01 1.05 0.35

time (sec)

N/A 0.178 0.206 2.682 0.283 0.271 44.115 0.318 0.180

Problem 375

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

310 310 183 169 271 696 770 298 823

N.S.

1 1.00 0.59 0.55 0.87 2.25 2.48 0.96 2.65

time (sec)

N/A 0.179 0.485 2.712 0.285 0.265 155.902 0.307 5.588

Problem 376

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

289 289 162 153 223 793 0 283 106

N.S.

1 1.00 0.56 0.53 0.77 2.74 0.00 0.98 0.37

time (sec)

N/A 0.150 0.522 2.699 0.280 0.270 0.000 0.286 0.195

Problem 377

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

284 284 159 152 250 669 760 283 744

N.S.

1 1.00 0.56 0.54 0.88 2.36 2.68 1.00 2.62

time (sec)

N/A 0.161 0.514 2.698 0.301 0.265 28.144 0.285 5.589

Problem 378

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

261 261 152 146 217 776 797 273 91

N.S.

1 1.00 0.58 0.56 0.83 2.97 3.05 1.05 0.35

time (sec)

N/A 0.141 0.428 2.773 0.285 0.268 87.549 0.287 5.252

Problem 379

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

261 261 151 146 241 658 734 273 750

N.S.

1 1.00 0.58 0.56 0.92 2.52 2.81 1.05 2.87

time (sec)

N/A 0.136 0.431 2.649 0.306 0.258 23.885 0.308 4.987

Problem 380

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

289 289 162 153 222 789 916 278 104

N.S.

1 1.00 0.56 0.53 0.77 2.73 3.17 0.96 0.36

time (sec)

N/A 0.156 0.511 2.698 0.294 0.278 138.067 0.292 5.013

Problem 381

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

289 289 165 153 251 691 855 283 859

N.S.

1 1.00 0.57 0.53 0.87 2.39 2.96 0.98 2.97

time (sec)

N/A 0.158 0.485 2.781 0.302 0.266 112.134 0.301 5.151

Problem 382

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

310 310 186 170 250 838 0 303 121

N.S.

1 1.00 0.60 0.55 0.81 2.70 0.00 0.98 0.39

time (sec)

N/A 0.175 0.501 2.797 0.289 0.278 0.000 0.294 5.141

Problem 383

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

316 316 183 172 283 748 0 304 760

N.S.

1 1.00 0.58 0.54 0.90 2.37 0.00 0.96 2.41

time (sec)

N/A 0.179 0.625 2.896 0.293 0.267 0.000 0.292 5.242

Problem 384

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

293 293 171 166 251 871 0 293 122

N.S.

1 1.00 0.58 0.57 0.86 2.97 0.00 1.00 0.42

time (sec)

N/A 0.163 0.597 2.738 0.294 0.275 0.000 0.289 0.186

Problem 385

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

298 298 173 167 280 763 1445 298 799

N.S.

1 1.00 0.58 0.56 0.94 2.56 4.85 1.00 2.68

time (sec)

N/A 0.163 0.580 2.772 0.286 0.270 149.650 0.334 0.338

Problem 386

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

298 298 175 168 253 878 0 298 124

N.S.

1 1.00 0.59 0.56 0.85 2.95 0.00 1.00 0.42

time (sec)

N/A 0.165 0.629 2.603 0.284 0.268 0.000 0.313 5.524

Problem 387

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

293 293 172 166 276 749 1406 293 780

N.S.

1 1.00 0.59 0.57 0.94 2.56 4.80 1.00 2.66

time (sec)

N/A 0.165 0.576 2.664 0.287 0.272 136.695 0.275 6.102

Problem 388

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

322 322 186 173 255 870 0 300 133

N.S.

1 1.00 0.58 0.54 0.79 2.70 0.00 0.93 0.41

time (sec)

N/A 0.178 0.608 2.701 0.307 0.272 0.000 0.287 0.221

Problem 389

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

322 322 186 173 285 770 0 304 888

N.S.

1 1.00 0.58 0.54 0.89 2.39 0.00 0.94 2.76

time (sec)

N/A 0.202 0.676 2.714 0.293 0.268 0.000 0.290 5.523

Problem 390

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

343 343 207 190 285 918 0 326 152

N.S.

1 1.00 0.60 0.55 0.83 2.68 0.00 0.95 0.44

time (sec)

N/A 0.201 0.745 2.673 0.302 0.274 0.000 0.302 5.520

Problem 391

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 60 52 51 56 80 53 51

N.S.

1 1.00 0.95 0.83 0.81 0.89 1.27 0.84 0.81

time (sec)

N/A 0.024 0.059 2.714 0.201 0.250 0.934 0.283 0.067

Problem 392

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 60 52 51 56 80 53 51

N.S.

1 1.00 0.95 0.83 0.81 0.89 1.27 0.84 0.81

time (sec)

N/A 0.021 0.046 2.747 0.222 0.235 0.606 0.282 0.048

Problem 393

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 60 52 51 56 80 53 51

N.S.

1 1.00 0.95 0.83 0.81 0.89 1.27 0.84 0.81

time (sec)

N/A 0.021 0.038 2.670 0.197 0.243 0.399 0.285 0.048

Problem 394

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 59 52 51 54 66 53 51

N.S.

1 1.00 0.94 0.83 0.81 0.86 1.05 0.84 0.81

time (sec)

N/A 0.030 0.052 2.667 0.195 0.248 0.545 0.281 0.053

Problem 395

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 59 52 51 53 78 53 51

N.S.

1 1.00 0.97 0.85 0.84 0.87 1.28 0.87 0.84

time (sec)

N/A 0.032 0.042 2.678 0.200 0.240 0.246 0.288 0.049

Problem 396

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 59 54 51 53 78 53 51

N.S.

1 1.00 0.97 0.89 0.84 0.87 1.28 0.87 0.84

time (sec)

N/A 0.021 0.061 2.668 0.200 0.256 0.324 0.289 0.055

Problem 397

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 59 54 51 53 76 53 51

N.S.

1 1.00 0.97 0.89 0.84 0.87 1.25 0.87 0.84

time (sec)

N/A 0.022 0.057 2.682 0.203 0.243 0.374 0.295 0.052

Problem 398

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 59 51 53 53 76 55 55

N.S.

1 1.00 0.97 0.84 0.87 0.87 1.25 0.90 0.90

time (sec)

N/A 0.036 0.058 2.714 0.211 0.246 0.464 0.277 0.053

Problem 399

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 97 93 90 85 90 136 94 78

N.S.

1 1.00 0.96 0.93 0.88 0.93 1.40 0.97 0.80

time (sec)

N/A 0.035 0.068 2.794 0.189 0.241 1.303 0.287 0.054

Problem 400

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 97 93 90 85 90 136 94 78

N.S.

1 1.00 0.96 0.93 0.88 0.93 1.40 0.97 0.80

time (sec)

N/A 0.039 0.065 2.788 0.198 0.247 0.901 0.281 0.033

[next] [prev] [prev-tail] [front] [up]